#ifndef __PRINTK_H_
#define __PRINTK_H_


void printk(const char *fmt, ...);
#define print_addr(name, symbol)  (printk("%s---%x", name,symbol))
#endif